141. Recent advances in constraints : Joint ERCIM/CoLogNet International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2004, Lausanne, Switzerland, June 23-25, 2004 : revised selected and invited papers
Author: Boi Faltings... ]et al.[ )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Logic programming,Congresses ، Constraint programming )Computer science(
Classification :
QA
76
.
L28
Vol
.
3419
142. Recent advances in constraints : joint ERCIM/CologNet International Workshop on Constraint Solving and Constraint Logic Programming, Cork, Ireland, June 19-21, 2002 : selected papers
Author: Barry O'Sullivan )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Constraint programming )Computer science(,Congresses ، Logic programming
Classification :
QA
76
.
L28
Vol
.
2627
143. Recent trends in algebraic development techniques
Author: \ Mihai Codescu, Răzvan Diaconescu, Ionuț Țuțu (Eds.)
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Computer software -- Development -- Congresses.,Computer science -- Mathematics -- Congresses,Formal methods (Computer science) -- Congresses.,نرمافزار -- تولید -- کتگره ها,علوم کامپیوتر -- ریاضیات -- کنگرهها ,روشهای صوری (کامپیوتر) -- کنگرهها
Classification :
QA
76
.
76
.
D47
W32
2015
E-Book
,
144. Relational and Algebraic Methods in Computer Science
Author: \ Wolfram Kahl , Michael Winter, José N. Oliveira (Eds.)
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Computer science -- Mathematics -- Congresses.,Algebraic logic -- Congresses.,Relation algebras -- Congresses.,علوم کامپیوتر -- ریاضیات -- کنگرهها ,منطق جبری -- کنگره ها
Classification :
QA
76
.
9
.
M35R4
2015
E-Book
,
145. Relational and algebraic methods in computer science :
Author: Jules Desharnais, Walter Guttmann, Stef Joosten (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algebraic logic, Congresses.,Computer science-- Mathematics, Congresses.,Relation algebras, Congresses.,Algebraic logic.,Artificial intelligence.,Computer programming-- software development.,Computer science-- Mathematics.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Relation algebras.
Classification :
QA76
.
9
.
M35
146. Relational and algebraic methods in computer science. 12th international conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 - June 3, 2011. proceedings
Author: ]edited by[ Harrie de Swart
Library: Library of Razi Metallurgical Research Center (Tehran)
Subject: ، Software engineering,، Logic design,، Algebra -- Data processing,، Computer simulation,، Mathematical Logic and Formal Languages,، Symbolic and Algebraic Manipulation,، Logics and Meanings of Programs,، Simulation and Modeling,، Artificial Intelligence )incl. Robotics(,، Computer science -- Mathematics -- Congresses,، lgebraic logic -- Congresses,، Relation algebras -- Congresses,، RAMICS
Classification :
QA
76
.
9
.
R36
2011
147. Reversible computation :
Author: Michael Kirkedal Thomsen, Mathias Soeken (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer logic, Congresses.,Computer science-- Mathematics, Congresses.,Reversible computing, Congresses.,Computer logic.,Computer science-- Mathematics.,Reversible computing.
Classification :
QA76
.
9
.
R48
148. Reversible computation :
Author: Robert Glück, Tetsuo Yokoyama (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer logic -- Congresses.,Computer science -- Mathematics -- Congresses.,Reversible computing -- Congresses.
Classification :
QA76
.
9
.
L63
R634
2013
149. Runtime verification :
Author: Christian Colombo, Martin Leucker (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software-- Testing, Congresses.,Computer software-- Verification, Congresses.,Formal methods (Computer science), Congresses.,Computer programming-- software development.,Computer software-- Testing.,Computer software-- Verification.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Information technology: general issues.,Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.,Systems analysis & design.
Classification :
QA76
.
76
.
V47
150. Scalable uncertainty management :
Author: Davide Ciucci, Gabriella Pasi, Barbara Vantaggi (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Uncertainty (Information theory), Congresses.,Artificial Intelligence.,Logics and Meanings of Programs.,Mathematical Logic and Formal Languages.,Probability and Statistics in Computer Science.,Programming Languages, Compilers, Interpreters.,Programming Techniques.,Artificial intelligence.,Computer programming-- software development.,Computers-- Intelligence (AI) & Semantics.,Computers-- Mathematical & Statistical Software.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Mathematical theory of computation.,Mathematics-- Logic.,Maths for computer scientists.,Programming & scripting languages: general.,Uncertainty (Information theory)
Classification :
Q375
152. Semantic technology :
Author: Ryutaro Ichise, Freddy Lecue, Takahiro Kawamura, Dongyan Zhao, Stephen Muggleton, Kouji Kozaki (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Data mining, Congresses.,Data warehousing, Congresses.,Linked data, Congresses.,Semantic computing, Congresses.,Artificial intelligence.,Computers-- Data Processing.,Computers-- Information Technology.,Computers-- Intelligence (AI) & Semantics.,Computers-- Speech & Audio Processing.,Computers-- System Administration-- Storage & Retrieval.,Data mining.,Data warehousing.,Information retrieval.,Linked data.,Mathematical theory of computation.,Mathematics-- Logic.,Natural language & machine translation.,Public administration.,Semantic computing.
Classification :
QA76
.
5913
153. Spectral techniques and fault detection /
Author: edited by Mark G. Karpovsky
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Fault-tolerant computing-- Congresses,Logic design-- Congresses,Signal processing-- Digital techniques-- Congresses,Spectral theory (Mathematics)-- Congresses
Classification :
TK7868
.
L6
S64
1985
154. The semantic web -- ISWC 2018 :
Author: Denny Vrandečić, Kalina Bontcheva, Mari Carmen Suárez-Figueroa, Valentina Presutti, Irene Celino, Marta Sabou, Lucie-Aimée Kaffee, Elena Simperl (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Semantic Web, Congresses.,Artificial Intelligence.,Data Mining and Knowledge Discovery.,Database Management.,Information Systems Applications (incl. Internet).,Mathematical Logic and Formal Languages.,Natural Language Processing (NLP).,Artificial intelligence.,Computers-- Database Management-- Data Mining.,Computers-- Database Management-- General.,Computers-- Information Technology.,Computers-- Intelligence (AI) & Semantics.,Computers-- Natural Language Processing.,Data mining.,Databases.,Information retrieval.,Mathematical theory of computation.,Mathematics-- Logic.,Natural language & machine translation.,Semantic Web.
Classification :
TK5105
.
88815
155. Theoretical aspects of computing -- ICTAC 2018 :
Author: Bernd Fischer, Tarmo Uustalu (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science, Congresses.,Mathematical Logic and Formal Languages.,Artificial intelligence.,Computer programming / software development.,Computer science.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.
Classification :
QA76
.
9
.
L63
156. Theoretical aspects of computing -- ICTAC 2013 :
Author: Zhiming Liu, Jim Woodcock, Huibiao Zhu (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer programming, Congresses,Computer science-- Mathematics, Congresses
Classification :
QA76
.
9
.
M35
157. Theoretical computer science :
Author: edited by Lian Li, Pinyan Lu, Kun He.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science, Congresses.,Algorithm Analysis and Problem Complexity.,Artificial Intelligence.,Image Processing and Computer Vision.,Logics and Meanings of Programs.,Mathematical Logic and Formal Languages.,Algorithms & data structures.,Artificial intelligence.,Computer programming-- software development.,Computer science.,Computers-- Computer Graphics.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Image processing.,Mathematical theory of computation.,Mathematics-- Logic.
Classification :
QA75
.
5
158. Theory and applications of models of computation :
Author: Mitsunori Ogihara, Jun Tarui (editions.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computable functions, Congresses,Computational complexity, Congresses,Computer science-- Mathematics, Congresses
Classification :
QA76
.
9
.
M35
T36
2011eb
159. Theory and applications of models of computation :
Author: T.V. Gopal, Junzo Watada (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computational complexity, Congresses.,Computer science-- Mathematics, Congresses.,Turing machines, Congresses.,Computational complexity.,Computer science-- Mathematics.,Turing machines.
Classification :
QA76
.
9
.
M35
T35
2019eb
160. Topics in theoretical computer science :
Author: Luís S. Barbosa, Mohammad Ali Abam (Eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science, Congresses.,Algorithms & data structures.,Computer science.,Computer science.,Computers-- Data Processing.,Computers-- Machine Theory.,Computers-- Programming-- Algorithms.,Discrete mathematics.,Mathematical theory of computation.,Mathematics-- Logic.
Classification :
QA75
.
5
